concatenation in tuples theory